When do Projections Commute?
نویسندگان
چکیده
منابع مشابه
When Do Datatypes Commute?
Polytypic programs are programs that are parameterised by type constructors (like List), unlike polymorphic programs which are parameterised by types (like Int). In this paper we formulate precisely the polytypic programming problem of \commut-ing" two datatypes. The precise formulation involves a novel notion of higher order polymorphism. We demonstrate via a number of examples the relevance a...
متن کاملDo blending and offsetting commute for Dupin cyclides?
A common method for constructing blending Dupin cyclides for two cones having a common inscribed sphere of radius r > 0 involves three steps: (1) computing the (−r)-offsets of the cones so that they share a common vertex, (2) constructing a blending cyclide for the offset cones, and (3) computing the r-offset of the cyclide. Unfortunately, this process does not always work properly. Worse, for ...
متن کاملDo Blending and O setting Commute for Dupin Cyclides?
A common method for constructing blending Dupin cyclides for two cones having a common inscribed sphere of radius r > 0 involves three steps: (1) computing the (?r)-oosets of the cones so that they share a common vertex, (2) constructing a blending cyclide for the ooset cones, and (3) computing the r-ooset of the cyclide. Unfortunately , this process does not always work properly. Worse, for so...
متن کاملDo South African Children Actively Commute to School?
There have been expressed concerns of decline in children physical activity, worldwide (1). Only 20% of 13-15 yr old children from 105 different countries met the WHO physical activity guidelines stipulating at least 60 min of daily moderate-to-vigorous physical activity (2). Active transport to school can contribute to children's physical activity and health (3, 4). It helps to maintain health...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für Naturforschung A
سال: 1980
ISSN: 1865-7109,0932-0784
DOI: 10.1515/zna-1980-0415